 |
Your search returned 7 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1992 Volume number : 18 Issue: 09 |
A Layered Approach To Automating The Verification Of Real-Time Systems
(Article)
Subject:
Configuration
,
Priority
,
Reachability Analysis
,
Specification
Author:
Richard
Gerber
Insup
Lee
page:
768
-
784
Programming And Verifying Real-Time Systems By Means Of The Sysnchronous Data-Flow Language Lustre
(Article)
Subject:
Formal Verification
,
Model Checking
,
Synchronous Motor
Author:
Nicolas
Halbwachs
Fabienne
Lagnier
Christophe
Ratel
page:
785
-
793
Compiling Real-Time Specifications Into Extended Automata
(Article)
Subject:
Compilation Into Extended Automata
,
Symbolic
,
Formal Verification
Author:
Xavier
Nivollin
Sergio
Yovine
Joseph
Sifakis
page:
794
-
804
Communicating Real-Time State Machines
(Article)
Subject:
Concurrent Systems
,
Executable Spections
,
State Space
Author:
Alan C.
Shaw
page:
805
-
816
A Case-Study In Timed Refinement A Mine Pump
(Article)
Subject:
Continuous Functions
,
Refinement
,
Real Time Specification
Author:
Brendan P.
Mahony
Ian J.
Hayes
page:
817
-
826
A Case Study Of Ces A Distributed Collaborative Editiong System Implemented In Argus
(Article)
Subject:
Study
,
System Improvement
Author:
Irene
Greif
William
Weihl
Robert
Seliger
page:
827
-
839
Grammars And Relations
(Article)
Subject:
Advanced Applications
,
Query Processing
,
Data Model
Author:
L.
Mark
Roberta
Cochrane
page:
840
-
849
|
|
| | |
